// phpGetFileSize(theFilePath)
//
// Returns the size of the file
//
Let (
	[
		$theFilePath = theFilePath ;

		phpCode = "error_reporting(0); //(E_ALL & ~E_NOTICE);¶
		¶
		echo filesize(fm_evaluate('$theFilePath'));¶
	  "
	] ;
	PHP_Execute(phpCode)
)